// SPDX-License-Identifier: GPL-2.0
/*
 * KERNEL ALLOCATOR DEMO
 *
 * (C) 2024.05.01 BuddyZhang1 <buddy.zhang@aliyun.com>
 */
#include <linux/init.h>
#include <linux/kernel.h>

static int __init BiscuitOS_init(void)
{
	printk("Hello BiscuitOS on kernel.\n");

	return 0;
}
device_initcall(BiscuitOS_init);
